Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 6 of 6 (0.187 secs)
You searched for: subject:"combinatory logic"
[movies]Categorical Abstract Machine. Lecture 3 of 8: Expression Evaluation: The ways of Computation in a Category - V.E. Wolfengagen
Topics: The ways of evaluation. Running the compiled programming code. Assembling the code. Comparison of the evaluations.
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Downloads: 131
[movies]Categorical Abstract Machine. Lecture 2 of 8: Expression Evaluation: Theory of Computation in a Category - V.E. Wolfengagen
Topics: Expression evaluation and the ways of evaluating. The representation of the environment of expression evaluation. De Bruijn's theory of computation of expression evaluation. Syntactical theory of computation. The kinds of the expression evaluation theories.
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Downloads: 242
[texts]Combinatory Logic in Programming. - V.E. Wolfengagen
Book by V.E. Wolfengagen "Combinatory Logic in Programming. Computations with Objects Through Examples and Exercises". 2-nd ed. -- Moscow, Center JurInfoR, 2003. X+336 p. The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science...
Keywords: Applicative computations; combinatory logic; lambda-calculus; programming; categorical abstract machine
Downloads: 623
[texts]Applicative computing. Its quarks, atoms and molecules. - V.E. Wolfengagen
Book by V.E. Wolfengagen "Applicative computing. Its quarks, atoms and molecules". Edited by Dr. L.Yu. Ismailova. Moscow: “Center JurInfoR”, 2010. -- 62 p. This work covers the advanced topics in main ideas of computing in general. This material is approved in practice of NRNU MEPhI, MIPT and several other educational centers of the Russian Federation. Its 1st part represents an outlook of computations, which is achieved by adoption of the atomic doctrine for specified reference system of pr...
Keywords: computing; applicative system; combinatory logic; applicative programming; theory of objects
Downloads: 752 5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars5.00 out of 5 stars(2 reviews)
[movies]Categorical Abstract Machine. Lecture 4 of 8: Developing the abstract machine in a Category - V.E. Wolfengagen
Topics: A notion of developing the abstract machine. Functioning of abstract machine. States. Working cycle of the abstract machine. Examples of evaluation. Compiling and executing the code.
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Downloads: 120
[movies]Categorical Abstract Machine. Lecture 1 of 8: Computation in a Category - V.E. Wolfengagen
Topics: The notion of Categorical Abstract Machine (CAM). Evaluation in a Cartesian closed category (c.c.c.). Evaluating map. Environment. Examples of expression evaluation. Collision of variables. Eliminating the collision. De Bruijn's encoding. De Bruijn's numerals. Evaluation in a c.c.c. using De Bruijn's encoding. Combinatory glue. The properties of the theories of computation.
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Downloads: 355
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related collections

opensource_movies
opensource

Related creators

V.E. Wolfengagen

Related mediatypes

movies
texts